АБСТРАКТНОЕ И СТРУКТУРНОЕ МОДЕЛИРОВАНИЕ СЕТЕЙ ХРАНЕНИЯ И ОБРАБОТКИ ДАННЫХ 

Волчихин Владимир Иванович, доктор технических наук, профессор, ректор Пензенского государственного университета, rectorat@pnzgu.ru
Зинкин Сергей Александрович, доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет, zsa49@yandex.ru 

681.324 

Рассматриваются проблемы использования формальных представлений распределенных процессов и объектов, взаимодействующих через общее структурированное пространство памяти. Использован алгебраический подход к определению операционной семантики распределенных систем хранения и обработки данных, основанный на определении данных систем сетями абстрактных машин. Решение поставленных задач основано на интеграции методов искусственного интеллекта с методами формально определенного распределенного поведенческого моделирования. На формальном уровне описан переход от централизованных систем внешнего хранения и обработки данных к функционально и топологически децентрализованным сетям. 

Ключевые слова

хранение данных, обработка данных, формальное определение распределенных процессов, алгебраический подход, сети абстрактных машин, распределенные поведенческие модели, топологически децентрализованные сети. 

 Скачать статью в формате PDF

1. Фарли, М. Сети хранения данных / М. Фарли. – М. : Лори, 2003. – 550 с.
2. Наик, Д. Системы хранения данных в Windows / Д. Наик. – М. : Вильямс, 2005. – 432 с.
3. Зинкин, С. А. Сетевая FS-архитектура машин баз данных и исполняемые формальные спецификации / С. А. Зинкин // Вестник Пермского государственного университета. Серия «Математика. Механика. Информатика». – 2008. – № 4 (20). – С. 169–181.
4. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – С. 13–22.
5. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и варианты использования) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 4. –         С. 37–51.
6. Волчихин, В. И. Развитие нефоннеймановских концепций в компьютерной и сетевой архитектуре / В. И. Волчихин, С. А. Зинкин // Новые информационные технологии и системы : труды IX Международной научно-технической конференции.  Пенза, 2010. – Ч. 2.  С. 48–63.